Кулямин Д.В.: потърсете в сайта Z-Library

Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства

Свободен достъп до знания и култура.

Набиране на средства 15 септември 2024 – 1 октомври 2024

Z-Library е една от най-големите онлайн библиотеки в света, която съдържа над 17,000,000 книги и 84,837,000 статии. Ние се стремим да направим литературата достъпна за всеки. Днес (15 септември 2024) започнахме допълнително набиране на средства за поддръжка и развитие на проекта.

Също НЕОГРАНИЧЕНО изтегляния (за 31 дни след деня на дарението) са достъпни за ALL сътрудници, които ще дарят по време на периода за набиране на средства до 1 октомври 2024.

Относно набирането на средстваПрочетете още

Направи дарение

Книги (23)
Най-популярни
Списък
- Списък
- Таблица

1

Использование конечных автоматов для тестирования программ

Использование конечных автоматов для тестирования программ

Бурдонов И.Б., Косачев А.С., Кулямин В.В.

Език:

russian

Файл:

PDF, 466 KB

0 / 0

russian

2

Суперкомпьютерное моделирование в физике климатической системы. Серия "СКО"

Суперкомпьютерное моделирование в физике климатической системы. Серия "СКО"

Московский государственный университет имени М. В. Ломоносова

Лыкосов В.Н., Глазунов А.В., Кулямин Д.В., Мортиков Е.В., Степаненко В.М.

Година:

2012

Език:

russian

Файл:

PDF, 3.79 MB

0 / 0

russian, 2012

3

Компонентный подход в программировании

Компонентный подход в программировании

НОУ «Интуит»

Кулямин В.В.

Година:

2016

Език:

russian

Файл:

PDF, 51.49 MB

0 / 0

russian, 2016

4

Моделирование и верификация политик безопасности управления доступом в операционных системах: [монография]

Моделирование и верификация политик безопасности управления доступом в операционных системах: [монография]

Горячая линия-Телеком

П. Н. Девянин, Д. В. Ефремов, В. В. Кулямин [и др.]

Година:

2019

Език:

russian

Файл:

PDF, 2.61 MB

0 / 0

russian, 2019

5

Труды Института системного программирования РАН. Том 10. Обеспечение надежности и совместимости Linux-систем. 2006 г.

Труды Института системного программирования РАН. Том 10. Обеспечение надежности и совместимости Linux-систем. 2006 г.

Под редакцией чл.-корр. РАН В.П. Иванникова. Редактор-составитель В.В. Кулямин

Година:

2006

Език:

russian

Файл:

PDF, 4.54 MB

0 / 3.0

russian, 2006

6

Технологии программирования. Компонентный подход: Лабораторная работа 1

Технологии программирования. Компонентный подход: Лабораторная работа 1

Кулямин В.В.

Година:

2006

Език:

russian

Файл:

PDF, 457 KB

0 / 0

russian, 2006

7

Технологии программирования. Компонентный подход

Технологии программирования. Компонентный подход

Кулямин В.В.

Език:

russian

Файл:

PDF, 3.61 MB

0 / 0

russian

8

Труды Института системного программирования РАН. Том 14. Подход UniTesk: итоги и перспективы. Часть 1. 2008 г.

Труды Института системного программирования РАН. Том 14. Подход UniTesk: итоги и перспективы. Часть 1. 2008 г.

Под редакцией чл.-корр. РАН В.П. Иванникова. Редактор-составитель В.В. Кулямин

Година:

2008

Език:

russian

Файл:

PDF, 3.45 MB

0 / 0

russian, 2008

9

Методы верификации программного обеспечения

Методы верификации программного обеспечения

Кулямин В.В.

Година:

2008

Език:

russian

Файл:

PDF, 1.06 MB

0 / 0

russian, 2008

10

Асинхронные автоматы: Классификация и тестирование

Асинхронные автоматы: Классификация и тестирование

Бурдонов И.Б., Косачев А.С., Кулямин В.В.

Език:

russian

Файл:

PDF, 1.53 MB

0 / 0

russian

11

Перспективы интеграции методов верификации программного обеспечения

Перспективы интеграции методов верификации программного обеспечения

Кулямин В.В.

Език:

russian

Файл:

PDF, 214 KB

0 / 0

russian

12

Теория соответствия для систем с блокировками и разрушением

Теория соответствия для систем с блокировками и разрушением

Бурдонов И.Б., Косачев А.С., Кулямин В.В.

Език:

russian

Файл:

PDF, 12.77 MB

0 / 0

russian

13

Технологии программирования. Компонентный подход: Лабораторная работа 2

Технологии программирования. Компонентный подход: Лабораторная работа 2

Кулямин В.В.

Година:

2006

Език:

russian

Файл:

PDF, 540 KB

0 / 0

russian, 2006

14

Суперкомпьютерное моделирование в физике климатической системы

Суперкомпьютерное моделирование в физике климатической системы

Издательство Московского Университета

Лыкосов В.Н., Глазунов А.В., Кулямин Д.В., Мортиков Е.В., Степаненко В.М.

Година:

2012

Език:

russian

Файл:

PDF, 10.44 MB

0 / 0

russian, 2012

15

Суперкомпьютерное моделирование в физике климатической системы. Учебное пособие

Суперкомпьютерное моделирование в физике климатической системы. Учебное пособие

Лыкосов В.Н., Глазунов А.В., Кулямин Д.В., Мортиков Е.В., Степаненко В.М.

Година:

2012

Език:

russian

Файл:

PDF, 15.15 MB

0 / 0

russian, 2012

16

Комбинаторика слов и построение тестовых последовательностей

Комбинаторика слов и построение тестовых последовательностей

Кулямин В.В.

Език:

russian

Файл:

PDF, 413 KB

0 / 0

russian

17

Критерии тестового покрытия, основанные на структуре контрактных спецификаций

Критерии тестового покрытия, основанные на структуре контрактных спецификаций

Кулямин В.В.

Език:

russian

Файл:

PDF, 247 KB

0 / 0

russian

18

Об образах полиномиальных отображений в конечных кольцах матриц

Об образах полиномиальных отображений в конечных кольцах матриц

Кулямин В.В.

Година:

2000

Език:

russian

Файл:

PDF, 674 KB

0 / 0

russian, 2000

19

Труды Института системного программирования РАН. Том 14. Подход UniTesk: итоги и перспективы. Часть 2. 2008 г.

Труды Института системного программирования РАН. Том 14. Подход UniTesk: итоги и перспективы. Часть 2. 2008 г.

Под редакцией чл.-корр. РАН В.П. Иванникова. Редактор-составитель В.В. Кулямин

Година:

2008

Език:

russian

Файл:

PDF, 3.30 MB

0 / 0

russian, 2008

20

Обучение передовым технологиям разработки ПО: проблемы и методы их решения

Обучение передовым технологиям разработки ПО: проблемы и методы их решения

Кулямин В.В., Омельченко В.А., Петренко О.Л.

Език:

russian

Файл:

PDF, 590 KB

0 / 0

russian

21

Формирование профессиональных компетенций современного разработчика ПО

Формирование профессиональных компетенций современного разработчика ПО

Кулямин В.В., Омельченко В.А., Петренко О.Л.

Език:

russian

Файл:

PDF, 373 KB

0 / 0

russian

22

Компонентный подход в программировании

Компонентный подход в программировании

Кулямин В.В.

Език:

russian

Файл:

PDF, 51.66 MB

0 / 0

russian

23

Исследование динамики ситуации с социальным сиротством: подходы, методы, инструменты: Коллективная монография

Исследование динамики ситуации с социальным сиротством: подходы, методы, инструменты: Коллективная монография

ЭБС Лань

Виноградова М. В., Кулямина О. С., Леонова В. П., Бронникова Е. М., Бабакаев С. В., Волков Д. В., Афанасьева Н. В.

Година:

2020

Език:

russian

Файл:

PDF, 888 KB

0 / 5.0

russian, 2020